|
|
Výukový nástroj pro barvené Petriho sítě
Navrátil, Ondřej ; Kočí, Radek (oponent) ; Rogalewicz, Adam (vedoucí práce)
Barvené Petriho sítě (CPN) jsou rozšířením klasických place-transition Petriho sítí (P/T PN). Všechny tokeny a místa zde mají svůj typ (příp. i hodnotu), do sítě lze dále vkládat různé typy inskripcí. CPN vynikají svou snadnou čitelností a skvělou vyjadřovací schopností. Zároveň disponují pevnými formálními podklady, jenž usnadňují jejich počítačovou simulaci a v omezené míře umožňují verifikovat některé vlastnosti. Motivací tohoto projektu je fakt, že v současnosti je veřejně dostupný pouze jediný nástroj pro úpravu a simulaci CPN, a sice CPNTools vyvíjený na univerzitě v Aarhusu. Program je však komplikovaný a pro nezainteresovaného uživatele obtížně uchopitelný. Cílem projektu je prozkoumat možnosti a vlastnosti CPN a nástroje CPNTools a na základě získaných znalostí navrhnout a implementovat didaktickou aplikaci se svižným a intuitivním rozhraním, která umožní uživatelům bez hlubších teoretických vědomostí získat přehled o problematice CPN.
|
|
|
Porovnání nástrojů pro modelování a vývoj procesně orientovaných aplikací
Spišák, Samuel ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práca sa zaoberá porovnaním nástrojou na modelovanie, vývoj a nasadenie procesne orientovaných aplikácií, ktoré ponúkajú spoločnosti Camunda, Bonitasoft a Netgrif. Hlavná časť práce patrí opisu spôsobu vývoja aplikácie navhrnutej na demoštračné účely, ktorá bola vyvinutá v každom nástroji zvlášť. Na základe získaných skúseností z návrhu a implementácie aplikácie v jednotlivých nástrojoch, sú v poslednej kapitole práce zosumarizované ich silné a slabé stránky. Po prečítaní práce by mal mať čitateľ vytvorenú predstavu o spôsobe vývoja v jednotlivých nástrojoch a v prípade záujmu o vytvorenie vlastnej procesne orientovanej aplikácie by mu mala práca pomôcť určiť z porovnávaných nástrojov ten, ktorý by bol na jej implementáciu najvhodnejší.
|
|
| |
|
|
Řízení procesů s dynamickou optimalizací rozvrhu zdrojů
Šinkora, Jan ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práce se zabývá mezioborovou problematikou na pomezí informačních technologií a~optimalizace procesů. Jsou zde využity a rozšířeny dříve navržené postupy pro modelování projektů a~zdrojů pomocí objektově orientovaných Petriho sítí. Dále se rozebírají možnosti použití genetických algoritmů pro optimalizaci rozvrhů zdrojů, které určují jejich přiřazení k~jednotlivým aktivitám v~dynamických systémech. Je popsána třída rozvrhovacích problémů s omezenými zdroji a způsob, jakým lze tyto projekty implementovat. Také je ukázáno, jak lze vytvořit složitější model výroby inspirovaný reálnými výrobními procesy. Dále je navržen řídící agent, který sleduje běžící výrobní systém a~umožňuje jeho dynamickou optimalizaci. Celý systém je implementován v prostředí Squeak Smalltalk za využití nástroje PNtalk, který je experimentální implementací objektově orientovaných sítí.
|
|
|
Interpreter of Petri Nets Formalism
Šajdík, Ondrej ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
The goal of bachelor thesis was to create tool which would be able to interpret Object-oriented Petri nets. In theoretical part was researched Petri nets, its simple extensions, Object-oriented Petri nets and modeling in language PNtalk. In practical part of thesis was designed and implemented tool for loading model defined in language PNtalk into inner representation and executing its dynamics. In the end was created set of automated tests for quality assurance and group of models for demonstration of interpret features.
|
|
|
Simulace a řízení silničního provozu pomocí Petriho sítí
Zbranek, Matyáš ; Holoubek, Tomáš (oponent) ; Dobrovský, Ladislav (vedoucí práce)
Tato bakalářská práce se zabývá modelováním, simulováním a řízením reálné světelné křižovatky pomocí Petriho sítí. V dnešní době, kdy mnoho lidí vlastní automobil, se silniční provoz a čas strávený na cestách stává důležitou součástí života. Křižovatky jsou často kritickými místy, kde se provoz zpomaluje, případně i zastavuje. V teoretické části jsou představeny Petriho sítě, některé systémy řízení provozu a studie, které řešily dopravní situace pomocí Petriho sítí. Praktická část se opírá o měření provozu na křižovatce. Je popsán model semaforu, odbavování automobilů a model celé křižovatky. Aby byl provoz v simulaci co nejblíže reálnému chování, jsou použity stochasticky časované Petriho sítě. Dále jsou navrženy možné sekvence řízení a provedeny jejich simulace s odlišnými intenzitami provozu. Nakonec jsou všechna data vyhodnocena a návrhy porovnány. Pro vytváření modelů byl použit editor knihovny PetNetSim.
|
|
|
Pokrytelnosti pro paralelní programy
Turoňová, Lenka ; Vojnar, Tomáš (oponent) ; Holík, Lukáš (vedoucí práce)
Tato diplomová práce se zabývá automatickou verifikací systémů s paralelně běžícími procesy. Práce diskutuje existující metody a možnosti jejich optimalizace. Stávající techniky jsou založeny na hledání induktivního invariantu (například pomocí techniky zjemňování abstrakce řízené protipříklady (CEGAR)). Efektivnost metod závisí na velikosti nalezeného invariantu. V rámci této diplomové práce jsme nalezli možnost zlepšení metod díky zaměření se na hledání invariantů minimální velikosti. Naimplementovali jsme nástroj, který zajišťuje prohledávání prostoru invariantů systému. Naše experimentální výsledky ukazují, že mnoho existujících systémů užívaných v praxi má skutečně mnohem menší invarianty než ty, které lze nalézt stávajícími metodami. Závěry a výsledky této práce budou sloužit jako základ budoucího výzkumu, jehož cílem bude navržení optimální metody pro vypočítání malých invariantů paralelních systémů.
|
|
|
Vizualizace Petriho sítí na Power Panelu
Krechler, Michal ; Malounek, Petr (oponent) ; Chomát, Luděk (vedoucí práce)
KRECHLER, M. Vizualizace Petriho sítí na Power Panelu. Brno: Vysoké učení technické v Brně, Fakulta elektrotechniky a komunikačních technologií, 2009. 75 s. Vedoucí bakalářské práce Ing. Luděk Chomát. V práci se řeší problematika Petriho síti pro simulaci technoologických procesů. Dále se zaměřuje na použití funkcí Automation Studia 3.0 při dynamickém zobrazování Petriho sítě na Power Panelu. Součástí je vytvoření několika vzorových Petriho sítí pro řízení modelů.
|
|
|
Framework pro tvorbu a ověřování specifikačních modelů
Matalík, Štěpán ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá objektově orientovanými Petriho sítěmi (OOPN) a tvorbou nástroje pro tvorbu a ověřování specifikačních modelů popsaných OOPN. V první části práce jsou popsány formalismy existujících typů Petriho sítí, včetně OOPN. Další část se zabývá tvorbou editačního nástroje, který také umožňuje spouštění simulačních modelů na vzdáleném serveru. Výstupem editoru je jednak grafická podoba Petriho sítě a také simulační model popsaný jazykem PNtalk, což je konkrétní implementace OOPN založená na jazyku Smalltalk. Simulační modely jsou spouštěny na serveru v prostředí Pharo. Na závěr práce jsou ukázány příklady konkrétních simulací a možná rozšíření nástroje.
|
|
|
Petriho sítě pro expertní systémy
Million, Pavel ; Pohl, Jan (oponent) ; Jirsík, Václav (vedoucí práce)
Cílem této práce je popsat základní atributy expertního systému pomocí Petriho sítí. Pozornost je věnována zejména tvorbě znalostní báze, způsob uchovávání a reprezentace znalostí. Dále je zde popsán zásadní rozdíl při tvorbě báze znalostí pro diagnostický a plánovací expertní systém z hlediska struktury Petriho sítí. Jsou zde popsány podmínky použití Petriho sítí a způsob interpretace znalostí pro inferenční mechanismus jak u diagnostických tak u plánovacích expertních systémů. Rovněž je zde předvedeno použití Petriho sítí vyšší úrovně a jazyk popisující strukturu Petriho sítě.
|
host ::
RSS.